Stabilité locale des systèmes quadratiques

Stabilité Polynômiale des Corps Différentiels

A notion of complexity for an arbitrary structure was defined in the book of Poizat Les petits cailloux (1995): we can define P and NP problems over a differential field K. Using the Witness Theorem of Blum et al., we prove the P-stability of the theory of differential fields: a P problem over a differential field K is still P when restricts to a sub-differential field k of K. As a consequence,...

Etude de la stabilité des chambres d'équilibre

Surveillance des systèmes automatiques et systèmes embraqués

Mechatronic systems monitoring, especially those built on today's vehicles, is increasingly complicated. The interconnections of these systems for increased performance and comfort of vehicles increases the complexity of information needed for decision-making in real time. This PhD thesis is devoted to the problem of detection and isolation (FDI Fault Detection & Isolation) of faults in automot...

Sur la stabilité des systèmes à retards variant dans le temps: théorie et application au contrôle de congestion d'un routeur

This thesis investigates the existing links between the control theory and the communica-tion networks supporting the well-known communication protocol TCP (Transmission ControlProtocol). The key idea consists in using the tools from control theory for the network trafficstabilization. Hence, this manuscript has naturally been turned towards two research lines : thedesign of sta...

Etude des systèmes d'horodatage

RÉSUMÉ. Cet article représente une synthèse des résultats de la communauté scientifique dans le domaine de l’horodatage électronique. L’horodatage de documents électroniques est une technique cryptographique permettant de prouver qu’un document a été créé à une certaine date et qu’il n’a pas été modifié depuis cette date. Le développement de systèmes d'horodatage sûrs représente un enjeu import...